منابع مشابه
Weak amenability of (2N)-th dual of a Banach algebra
In this paper by using some conditions, we show that the weak amenability of (2n)-th dual of a Banach algebra A for some $ngeq 1$ implies the weak amenability of A.
متن کاملCSP + Clocks: a Process Algebra for Timed Automata
We propose a real-time extension to the process algebra CSP. Inspired by timed automata, a very successful formalism for the specification and verification of real-time systems, we handle real time by means of clocks, i.e. real-valued variables that increase at the same rate as time. This differs from the conventional approach based on timed transitions. We give a discrete trace and failures se...
متن کاملA Bound for the Nilpotency Class of a Lie Algebra
In the present paper, we prove that if L is a nilpotent Lie algebra whose proper subalge- bras are all nilpotent of class at most n, then the class of L is at most bnd=(d 1)c, where b c denotes the integral part and d is the minimal number of generators of L.
متن کاملSearching for an algebra on CSP solutions
The Constraint Satisfaction Problem (CSP) is a problem of computing a homomorphism R → Γ between two relational structures, where R is defined over a domain V and Γ is defined over a domain D. In fixed template CSPs, denoted CSP(Γ), the right side structure Γ is fixed and the left side structure R is unconstrained. In the last 2 decades it was impressively revealed that reasons that make fixed ...
متن کاملStructured CSP - A Process Algebra as an Institution
We introduce two institutions for the process algebra Csp, one for the traces model, and one for the stable failures model. The construction is generic and should be easily instantiated with further models. As a consequence, we can use structured specification constructs like renaming, hiding and parameterisation (that have been introduced over an arbitrary institution) also for Csp. With a sma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1971
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1971-0270165-x